Search results for "Infinite number"
showing 4 items of 4 documents
An Ehrenfeucht-Fraïssé Approach to Collapse Results for First-Order Queries over Embedded Databases
2001
We present a new proof technique for collapse results for first-order queries on databases which are embedded in N or R>o. Our proofs are by means of an explicitly constructed winning strategy for Duplicator in an Ehrenfeucht-FraissE game, and can deal with certain infinite databases where previous, highly involved methods fail. Our main result is that first-order logic has the natural-generic collapse over {N,≤ ,+} for arbitrary (i.e., possibly infinite) databases. Furthermore, a first application of this result shows the natural-generic collapse of first-order logic over {R>o,≤,+} for a certain kind of databases over R>o which consist of a possibly infinite number of regions.
The Regularized Hadamard Expansion
2017
A local expansion is proposed for two-point distributions involving an ultraviolet regularization in a four-dimensional globally hyperbolic space-time. The regularization is described by an infinite number of functions which can be computed iteratively by solving transport equations along null geodesics. We show that the Cauchy evolution preserves the regularized Hadamard structure. The resulting regularized Hadamard expansion gives detailed and explicit information on the global dynamics of the regularization effects.
Quantized Fields and Their Interpretation
2013
This chapter deals with the quantum theory of systems with an infinite number of degrees of freedom and provides elements of quantum field theory.
Synchronizing Quantum Harmonic Oscillators through Two-Level Systems
2017
Two oscillators coupled to a two-level system which in turn is coupled to an infinite number of oscillators (reservoir) are considered, bringing to light the occurrence of synchronization. A detailed analysis clarifies the physical mechanism that forces the system to oscillate at a single frequency with a predictable and tunable phase difference. Finally, the scheme is generalized to the case of $N$ oscillators and $M(<N)$ two-level systems.